Exploiting type systems and static analyses for smart card security Xavier Leroy INRIA Rocquencourt &

Source URL: xavierleroy.org

Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics,

Source URL: xavierleroy.org

Compiling functional languages Xavier Leroy INRIA Rocquencourt Spring school “Semantics of programming languages” Agay, 24-29 March 2002

Source URL: xavierleroy.org

What’s new in OCaml 4.02 Xavier Leroy INRIA Paris-Rocquencourt OCaml Workshop,

Source URL: ocaml.org

• Software engineering
• Computer programming
• Computing
• Functional languages
• OCaml
• Caml
• Procedural programming languages
• ML
• Conditional
• Exception handling
• Xavier Leroy

Programming languages and their trustworthy implementation Xavier Leroy INRIA Paris Van Wijngaarden award,

Source URL: xavierleroy.org

Du langage `a l’action: compilation et typage Xavier Leroy INRIA Paris-Rocquencourt Coll`ege de France,

Source URL: xavierleroy.org

Verified Validation of Lazy Code Motion Jean-Baptiste Tristan Xavier Leroy INRIA Paris-Rocquencourt

Source URL: jtristan.github.io

Formally verifying a compiler: what does it mean, exactly? Xavier Leroy INRIA Paris ICALP,

Source URL: xavierleroy.org

A formally verified compiler for critical embedded software Xavier Leroy INRIA Paris-Rocquencourt LCTES,

Source URL: xavierleroy.org